Mutation Testing Author

Name: Mike Papadakis
Affiliation: Athens University of Economics and Business
Email: mpapad@aueb.gr
Webpage:
1Mike Papadakis and Marinos Kintis and Jie Zhang and Yue Jia and Yves Le Traon and Mark Harman
Mutation Testing Advances: An Analysis and Survey
Unknown-
BibTeX | Abstract | URL
2Michael Marcozzi and Sebastien Bardin and Nikolai Kosmatov and Mike Papadakis and Virgile Prevosto and Loïc Correnson
Time to Clean your Test Objectives
Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - 3 June, 2018, 2018.
BibTeX | Abstract | URL
3Mike Papadakis and Donghwan Shin and Shin Yoo and Doo{-}Hwan Bae
Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults
Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - 3 June, 2018, 2018.
BibTeX | Abstract | URL
4Xavier Devroey and Gilles Perrouin and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens and Patrick Heymans
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017, 2017.
BibTeX | Abstract | PDF | DOI
5Thierry Titcheu Chekam and Mike Papadakis and Yves Le Traon and Mark Harman
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption
Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017, 2017.
BibTeX | Abstract | PDF
6Thomas Loise and Xavier Devroey and Gilles Perrouin and Mike Papadakis and Patrick Heymans
Towards Security-Aware Mutation Testing
2017 {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March 13-17, 2017, 2017.
BibTeX | Abstract | PDF | DOI
7Mike Papadakis and Christopher Henard and Mark Harman and Yue Jia and Yves Le Traon
Threats to the validity of mutation-based test assessment
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
8Marinos Kintis and Mike Papadakis and Andreas Papadopoulos and Evangelos Valvis and Nicos Malevris
Analysing and Comparing the Effectiveness of Mutation Testing Tools: {A} Manual Study
16th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2016, Raleigh, NC, USA, October 2-3, 2016, 2016.
BibTeX | Abstract | PDF | DOI
9Christopher Henard and Mike Papadakis and Mark Harman and Yue Jia and Yves Le Traon
Comparing white-box and black-box test prioritization
Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
10Thomas Laurent and Anthony Ventresque and Mike Papadakis and Christopher Henard and Yves Le Traon
Assessing and Improving the Mutation Testing Practice of {PIT}
CoRR, abs/1601.02351(), 2016.
BibTeX | Abstract | PDF
11Xavier Devroey and Gilles Perrouin and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens and Patrick Heymans
Featured model-based mutation analysis
Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
12Henry Coles and Thomas Laurent and Christopher Henard and Mike Papadakis and Anthony Ventresque
{PIT:} a practical mutation testing tool for Java (demo)
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016.
BibTeX | Abstract | PDF | DOI
13Francisco Carlos M. Souza and Mike Papadakis and Yves Le Traon and M{\'{a}}rcio Eduardo Delamaro
Strong mutation-based test data generation using hill climbing
Proceedings of the 9th International Workshop on Search-Based Software Testing, SBST@ICSE 2016, Austin, Texas, USA, May 14-22, 2016, 2016.
BibTeX | Abstract | PDF | DOI
14Thierry Titcheu Chekam and Mike Papadakis and Yves Le Traon
Assessing and Comparing Mutation-based Fault Localization Techniques
CoRR, abs/1607.05512(), 2016.
BibTeX | Abstract | PDF
15S{\'{e}}bastien Bardin and Micka{\"{e}}l Delahaye and Robin David and Nikolai Kosmatov and Mike Papadakis and Yves Le Traon and Jean{-}Yves Marion
Sound and Quasi-Complete Detection of Infeasible Test Requirements
8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015, 2015.
BibTeX | Abstract | PDF | DOI
16Mike Papadakis and Yves Le Traon
Metallaxis-FL: mutation-based fault localization
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
17Mike Papadakis and Yue Jia and Mark Harman and Yves Le Traon
Trivial Compiler Equivalence: {A} Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1, 2015.
BibTeX | Abstract | PDF | DOI
18Marinos Kintis and Mike Papadakis and Nicos Malevris
Employing second-order mutation for isolating first-order equivalent mutants
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
19Christopher Henard and Mike Papadakis and Yves Le Traon
MutaLog: {A} Tool for Mutating Logic Formulas
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
20Mike Papadakis and Christopher Henard and Yves Le Traon
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
21Christopher Henard and Mike Papadakis and Yves Le Traon
Mutation-Based Generation of Software Product Line Test Configurations
Search-Based Software Engineering - 6th International Symposium, {SSBSE} 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings, 2014.
BibTeX | Abstract | PDF | DOI
22Mike Papadakis and Yves Le Traon
Effective fault localization via mutation analysis: a selective mutation approach
Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, 2014.
BibTeX | Abstract | PDF | DOI
23Mike Papadakis and M{\'{a}}rcio Eduardo Delamaro and Yves Le Traon
Mitigating the effects of equivalent mutants with mutant classification strategies
Sci. Comput. Program., 95(), 2014.
BibTeX | Abstract | PDF | DOI
24Xavier Devroey and Gilles Perrouin and Maxime Cordy and Mike Papadakis and Axel Legay and Pierre{-}Yves Schobbens
A variability perspective of mutation analysis
Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, 2014.
BibTeX | Abstract | PDF | DOI
25Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
26Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon
Towards automated testing and fixing of re-engineered feature models
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013.
BibTeX | Abstract | PDF | DOI
27Mike Papadakis and M{\'{a}}rcio Eduardo Delamaro and Yves Le Traon
Proteum/FL: {A} tool for localizing faults using mutation analysis
13th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23, 2013, 2013.
BibTeX | Abstract | PDF | DOI
28Mike Papadakis and Yves Le Traon
Mutation testing strategies using mutant classification
Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
29Phu Hong Nguyen and Mike Papadakis and Iram Rubab
Testing Delegation Policy Enforcement via Mutation Analysis
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013.
BibTeX | Abstract | PDF | DOI
30Mike Papadakis and Nicos Malevris
Mutation based test case generation via a path selection strategy
Information {\&} Software Technology, 54(9), 2012.
BibTeX | Abstract | PDF | DOI
31Marinos Kintis and Mike Papadakis and Nicos Malevris
Isolating First Order Equivalent Mutants via Second Order Mutation
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
32Mike Papadakis and Yves Le Traon
Using Mutants to Locate "Unknown" Faults
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
33Mike Papadakis and Nicos Malevris
Killing Mutants Effectively a Search Based Approach
Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012, 2012.
BibTeX | Abstract | PDF | DOI
34Mike Papadakis and Nicos Malevris
Automatic mutation based test data generation
13th Annual Genetic and Evolutionary Computation Conference, {GECCO} 2011, Companion Material Proceedings, Dublin, Ireland, July 12-16, 2011, 2011.
BibTeX | Abstract | PDF | DOI
35Mike Papadakis and Nicos Malevris
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
Software Quality Journal, 19(4), 2011.
BibTeX | Abstract | PDF | DOI
36Mike Papadakis and Nicos Malevris
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
{IEEE} 21st International Symposium on Software Reliability Engineering, {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010, 2010.
BibTeX | Abstract | PDF | DOI
37Marinos Kintis and Mike Papadakis and Nicos Malevris
Evaluating Mutation Testing Alternatives: {A} Collateral Experiment
17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010, 2010.
BibTeX | Abstract | PDF | DOI
38Mike Papadakis and Nicos Malevris
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010.
BibTeX | Abstract | URL
39Mike Papadakis and Nicos Malevris
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
40Mike Papadakis and Nicos Malevris and Maria Kallia
Towards Automating the Generation of Mutation Ttests
Proceedings of the 5th Workshop on Automation of Software Teste (AST'10)Cape Town, South Africa, 3-4 May 2010.
BibTeX | Abstract | URL
41Mike Papadakis and Nicos Malevris and Maria Kallia
Towards automating the generation of mutation tests
The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4, 2010, Cape Town, South Africa, 2010.
BibTeX | Abstract | PDF | DOI
42Mike Papadakis and Nicos Malevris and Marinos Kintis
Mutation Testing Strategies - {A} Collateral Approach
{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010, 2010.
BibTeX | Abstract | URL
43Mike Papadakis and Nicos Malevris
An Effective Path Selection Strategy for Mutation Testing
16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia, 2009.
BibTeX | Abstract | PDF | DOI
44Mike Papadakis and Nicos Malevris
An Effective Path Selection Strategy for Mutation Testing
Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC'09)Penang, Malaysia, 1-3 December 2009.
BibTeX | Abstract | URL
45Mike Papadakis
Error detection methods in Java Programs using the mutation method
Athens University of Economics and Business, , 2005.
BibTeX | Abstract | URL

Quick Search

View all papers | authors

Citation

@ARTICLE{PapadakisKZJTH18, author = {Mike Papadakis and Marinos Kintis and Jie Zhang and Yue Jia and Yves Le Traon and Mark Harman}, title = {Mutation Testing Advances: An Analysis and Survey}, journal = {Advances in Computers}, year = {2018}, }

Survey

(TR version)

Download